61. Finite representations of CCS and TCSP programs by automata and Petri nets
پدیدآورنده : / Dirk Taubner
کتابخانه: Central Library and Document Center of Shahid Chamran University (Khuzestan)
موضوع : Electronic data processing--Distributed processing,Petri nets,Programming languages (Electronic computers)
رده :
QA
,
76
.
9
,.
D5
,
T39
,
1989
62. Finite representations of CCS and TCSP programs by automata and Petri nets
پدیدآورنده : Taubner, Dirk
کتابخانه: Central Library of Sharif University of Technology (Tehran)
موضوع : Distributed processing ، Electronic data processing,، Petri nets,، Programming languages )Electronic computers(
رده :
QA
76
.
9
.
D5
.
T39
1989
63. Finite representations of CCS and TCSP programs by automata and Petri nets
پدیدآورنده : Taubner, Dirk
کتابخانه: Library of College of Science University of Tehran (Tehran)
موضوع : ، Electronic data processing -- Distributed processing,، Petri nets,، Programming languages )Electronic computers(
رده :
QA
76
.
9
.
D5
T39
1989
64. Finite representations of CCS and TCSP programs by automata and Petri nets
پدیدآورنده : Taubner, Dirk, 9591-
کتابخانه: Library of Institute for Research in Fundamental Sciences (Tehran)
موضوع : ، Electronic data processing -- Distributed processing,، Petri nets,، Programming languages )Electronic computers(
رده :
QA
76
.
L28
Vol
.
369
65. Finite representations of CCS and TCSP programs by automata and Petri nets
پدیدآورنده :
کتابخانه: Central Library and Documents Center of Mazandaran University (Mazandaran)
موضوع : Electronic data processing ; Distributed processing. ; Petri nets. ; Programming languages (Electronic computers) ;
66. Formal methods for concurrency
پدیدآورنده : Fencott, Clive
کتابخانه: Central Library of Amirkabir University of Technology (Tehran)
موضوع : Real-time data processing , Real-time programming , Programming Languages )Electronic computers(
رده :
QA
76
.
54
.
F46
1996
67. From Point to Pixel:
پدیدآورنده : Hoy, Meredith Anne
کتابخانه: Center and Library of Islamic Studies in European Languages (Qom)
موضوع :
68. GNU Octave
پدیدآورنده : Jesper Schmidt Hansen
کتابخانه: Center and Library of Islamic Studies in European Languages (Qom)
موضوع : Numerical analysis-- Data processing,Programming languages (Electronic computers)
رده :
QA76
.
73
.
G58
S36
2011
69. Handbook of circuit analysis languages and techniques
پدیدآورنده : editors, Randall W. Jensen, Lawrence P. McNamee
کتابخانه: Library of College of Science University of Tehran (Tehran)
موضوع : ، Electronic circuit design -- Data processing,، Programming languages )Electronic computers(
رده :
TK
7867
.
J39
70. Handbook of circuit analysis languages and techniques
پدیدآورنده : editors, Randall W. Jensen, Lawrence P. McNamee
موضوع : Electronic circuit design- Data processing,Programming languages (Electronic computers)
۲ نسخه از این کتاب در ۲ کتابخانه موجود است.
71. Handbook on parallel and distributed processing
پدیدآورنده : edited by Jacek Blazewicz [and others].
کتابخانه: Center and Library of Islamic Studies in European Languages (Qom)
موضوع : Electronic data processing -- Distributed processing.,Parallel processing (Electronic computers)
رده :
QA76
.
58
E358
2011
72. Hardware description languages and their applications: specification, modelling, verification and synthesis of microelectronic systems: IFIP TC10 WG10.5 International Conference on Computer Hardware Description Languages and their Applications, 20-25 April 1997, Toledo, Spain
پدیدآورنده :
کتابخانه: Central Library of Sharif University of Technology (Tehran)
موضوع : ، Electronic digital computers-- Design and construction-- Data processing-- Congresses,، Digital electronics-- Data processing-- Congresses,، Programming language )Electronic computers(-- Congresses
رده :
TK
7888
.
3
.
I57
1997
73. Informationsverarbeitung :
پدیدآورنده : Juergen Rasch, Angele Daalmann.
کتابخانه: Center and Library of Islamic Studies in European Languages (Qom)
موضوع : Electronic data processing.,Programming languages (Electronic computers)
74. Informatique
پدیدآورنده : / par Daniel-Jean David,David
کتابخانه: Central Library and Documents Center of Tehran University (Tehran)
موضوع : Electronic data processing,Electronic digital computers - Programming,Programming languages ( Electronic computers)
رده :
QA
76
.
D33328
75. Introducing regular expressions
پدیدآورنده : \ Michael Fitzgerald
کتابخانه: Library of Foreign Languages and Islamic Sources (Qom)
موضوع : Text processing (Computer science),Programming languages (Electronic computers),Electronic data processeing,data processing,متن‌پردازی,زبان‌های برنامه‌نویسی کامپیوتر,داده پردازی ,a03,a04,a05,a05,a03,a04,a05
رده :
QA
76
.
9
.
F5I5
2012
E-Book
,
76. Introducing regular expressions /
پدیدآورنده : Michael Fitzgerald.
کتابخانه: Center and Library of Islamic Studies in European Languages (Qom)
موضوع : Electronic data processing.,Programming languages (Electronic computers),Text processing (Computer science)
رده :
QA76
.
9
.
T48
F58
2012
77. Introduction to computer data processing
پدیدآورنده : / Margaret S. Wu
کتابخانه: Central Library and Document Center of Shahid Chamran University (Khuzestan)
موضوع : Electronic data processing,Electronic digital computers,Programming languages (Electronic computers)
رده :
QA76
.
W83
78. Introduction to computer data processing
پدیدآورنده : / Margaret S. Wu
کتابخانه: Central Library and Documents Center of Mazandaran University (Mazandaran)
موضوع : Electronic data processing,Electronic digital computers,Programming languages (Electronic computers)
رده :
QA76
.
W83
79. Introduction to computer data processing
پدیدآورنده : Wu, Margaret Schlosser.
کتابخانه: Central Library and Documentation Center (Kerman)
موضوع : ، Electronic data processing,، Electronic digital computers,، Programming languages )Electronic computers(
رده :
QA
76
.
W9
